Lean (proof assistant)

Qualità:

Questo linguaggio di programmazione è il 271° più popolare nella classifica globale di Wikipedia di linguaggi di programmazione e il 250° più popolare linguaggi di programmazione nella Wikipedia in inglese. L'articolo “Lean (proof assistant)” nella Wikipedia in inglese ha 52.9 punti per la qualità (al 1 luglio 2026). L'articolo contiene 44 riferimenti e 12 sezioni.

In questa versione linguistica di Wikipedia l'articolo ha la migliore qualità. Inoltre, questo articolo è il più popolare in quella versione linguistica (inglese).

Realizzazioni in tutto il tempo:

Wikipedia in inglese:

Il 250° più popolare in linguaggi di programmazione nella Wikipedia in inglese.

Wikipedia globale:

Il 271° più popolare in linguaggi di programmazione.

Nel giugno 2026 l'articolo “Lean (proof assistant)” è stato modificato da 3 autori nella Wikipedia in inglese e scritto da 7 autori in tutte le lingue.

Dalla creazione dell'articolo “Lean (proof assistant)”, il suo contenuto è stato scritto da 82 utenti registrati di Wikipedia in inglese e modificato da 162 utenti registrati di Wikipedia in tutte le lingue.

Lean (proof assistant) è al 250° posto nella classifica locale dei linguaggi di programmazione nella Wikipedia in inglese e al 271° posto nella classifica globale dei linguaggi di programmazione in tutto il tempo.

L'articolo è citato 360 volte nella Wikipedia in inglese e citato 529 volte in tutte le lingue.

Il grado di interesse degli autori più alto dal 2001:/p>

• Locale (inglese): N. 18192 nell'ottobre 2023
• Globale: N. 28783 nel giugno 2024

Il grado di popolarità più alto dal 2008:

• Locale (inglese): N. 72307 nell'aprile 2026
• Globale: N. 88378 nell'aprile 2026

Ci sono 14 versioni linguistiche per questo articolo nel database WikiRank (delle 55 edizioni linguistiche di Wikipedia considerate).

La valutazione della qualità e della popolarità si basava sui dump di Wikipedia del 1 luglio 2026 (inclusa la cronologia delle revisioni e le visualizzazioni di pagina degli anni precedenti).

La tabella seguente mostra le versioni linguistiche dell'articolo con la massima qualità.

#	Lingua	Grado di qualità	Punteggio di qualità
1	inglese (en) Lean (proof assistant)		52.9186
2	cinese (zh) Lean		43.6374
3	giapponese (ja) Lean (証明アシスタント)		40.8613
4	coreano (ko) Lean		37.6596
5	tedesco (de) Lean (Beweisassistent)		33.7663
6	persiano (fa) لین (دستیار اثبات)		27.1992
7	spagnolo (es) Lean		26.725
8	russo (ru) Lean		25.6903
9	ucraino (uk) Lean		24.7899
10	francese (fr) Lean (assistant de preuve)		14.9046

La tabella seguente mostra le versioni linguistiche più popolari dell'articolo.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Lean (proof assistant)		447 227
2	spagnolo (es) Lean		44 860
3	giapponese (ja) Lean (証明アシスタント)		34 449
4	russo (ru) Lean		19 910
5	cinese (zh) Lean		15 208
6	francese (fr) Lean (assistant de preuve)		14 777
7	tedesco (de) Lean (Beweisassistent)		12 891
8	portoghese (pt) Lean (linguagem de programação)		1 394
9	coreano (ko) Lean		1 044
10	ucraino (uk) Lean		931

La tabella seguente mostra le versioni linguistiche dell'articolo con la maggiore popolarità nell'ultimo mese.

#	Lingua	Premio di popolarità	Popolarità relativa
1	inglese (en) Lean (proof assistant)		12 614
2	giapponese (ja) Lean (証明アシスタント)		1 744
3	cinese (zh) Lean		821
4	francese (fr) Lean (assistant de preuve)		631
5	tedesco (de) Lean (Beweisassistent)		569
6	russo (ru) Lean		550
7	spagnolo (es) Lean		200
8	portoghese (pt) Lean (linguagem de programação)		124
9	coreano (ko) Lean		65
10	ucraino (uk) Lean		29

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Lean (proof assistant)		82
2	tedesco (de) Lean (Beweisassistent)		16
3	francese (fr) Lean (assistant de preuve)		14
4	giapponese (ja) Lean (証明アシスタント)		13
5	russo (ru) Lean		9
6	persiano (fa) لین (دستیار اثبات)		5
7	olandese (nl) Lean (bewijsassistent)		5
8	vietnamita (vi) Lean (trợ lý chứng minh)		5
9	portoghese (pt) Lean (linguagem de programação)		4
10	spagnolo (es) Lean		3

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggiore interesse degli autori nell'ultimo mese.

#	Lingua	Premio IA	IA relativi
1	inglese (en) Lean (proof assistant)		3
2	giapponese (ja) Lean (証明アシスタント)		2
3	coreano (ko) Lean		1
4	portoghese (pt) Lean (linguagem de programação)		1
5	ceco (cs) Lean (programovací jazyk)		0
6	tedesco (de) Lean (Beweisassistent)		0
7	spagnolo (es) Lean		0
8	persiano (fa) لین (دستیار اثبات)		0
9	francese (fr) Lean (assistant de preuve)		0
10	olandese (nl) Lean (bewijsassistent)		0

La tabella seguente mostra le versioni linguistiche dell'articolo con il maggior numero di citazioni.

Il 1 luglio 2026 nella Wikipedia multilingue gli utenti di Internet leggono più spesso articoli sui seguenti argomenti: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

Nella Wikipedia in inglese gli articoli più popolari quel giorno erano: 2026 FIFA World Cup, Harry Kane, Julián Quiñones, List of FIFA World Cup top goalscorers, Kylian Mbappé, Democratic Republic of the Congo, Erling Haaland, DR Congo national football team, Melat Kiros, FIFA World Cup.

Il progetto è finalizzato alla valutazione relativa automatica degli articoli nelle diverse versioni linguistiche di Wikipedia. Al momento il servizio permette di confrontare oltre 50 milioni di articoli di Wikipedia in 55 lingue. I punteggi di qualità degli articoli si basano sui dump di Wikipedia del luglio 2026. Nel calcolare la popolarità attuale e l'intelligenza artificiale degli articoli sono stati presi in considerazione i dati del giugno 2026. Per i valori storici di popolarità e AI WikiRank ha utilizzato dati dal 2001 al 2026... More information